Faster Scannerless GLR ParsingECONOMOPOULOS, Giorgios; KLINT, Paul; VINJU, Jurgen et al.Report - Software engineering. 2008, Num 7, pp 1-16, issn 1386-369X, 16 p.Article

Nuovo DRM Paradiso: formal specification and verification of a DRM protocolJONKER, H; NAIR, S. Krishnan; DASHTI, M. Torabi et al.Report - Software engineering. 2006, Num 02, pp 1-28, issn 1386-369X, 28 p.Article

Solving scheduling problems by untimed model checking the clinical chemical analyser case studyWIJS, Anton; VAN DE POL, Jaco; BORTNIK, Elena et al.Report - Software engineering. 2006, Num 08, pp 1-21, issn 1386-369X, 21 p.Article

About trivial software patents : the isnot caseBERGSTRA, Jan A; KLINT, Paul.Report - Software engineering. 2005, Num 17, pp 1-23, issn 1386-369X, 23 p.Article

Syllogistics = monotonicity + symmetry + existential importVAN EIJCK, Jan.Report - Software engineering. 2005, Num 12, pp 1-15, issn 1386-369X, 15 p.Article

Formal analysis of a fair payment protocolCEDERQUIST, Jan; MUHAMMAD TORABI DASHTI.Report - Software engineering. 2004, Num 10, pp A-36, issn 1386-369XArticle

Generalizing DPLL and satisfiability for equalitiesBADBAN, Bahareh; DE POL, Jaco Van; TVERETINA, Olga et al.Report - Software engineering. 2004, Num 7, pp 1-28, issn 1386-369X, 28 p.Article

Modeling component connectors in Reo by constraint automataARBAB, Farhad; BAIER, Christel; RUTTEN, Jan et al.Report - Software engineering. 2003, Num 4, pp 1-15, issn 1386-369X, 15 p.Article

Symmetry in labeled transition systemsVAN LANGEVELDE, Izak.Report - Software engineering. 2003, Num 3, pp 1-42, issn 1386-369X, 42 p.Article

Source tree compositionDE JONGE, Merijn.Report - Software engineering. 2002, Num 4, pp 1-14, issn 1386-369XArticle

A coinductive calculus of component connectorsARBAB, F; RUTTEN, J. J. M. M.Report - Software engineering. 2002, Num 16, pp 1-17, issn 1386-369X, 17 p.Article

Coalgebraic modal logic of finite rankKURZ, Alexander; PATTINSON, Dirk.Report - Software engineering. 2002, Num 22, pp 1-23, issn 1386-369X, 23 p.Article

Cones and foci for protocol verification revisitedFOKKINK, Wan; JUN PANG.Report - Software engineering. 2002, Num 29, pp 1-17, issn 1386-369X, 17 p.Article

Generation of abstract programming interfaces from syntax definitionsDE JONG, H. A; OLIVIER, P. A.Report - Software engineering. 2002, Num 12, pp 1-23, issn 1386-369X, 23 p.Article

On the structure of Gaussian pricing models and Gaussian Markov functional modelsNEUMANN, C. D. D.Report - Software engineering. 2002, Num 19, pp 1-17, issn 1386-369X, 17 p.Article

Computer assisted manipulation of algebraic process specificationsGROOTE, Jan Friso; LISSER, Bert.Report - Software engineering. 2001, Num 17, pp 1-14, issn 1386-369XArticle

Competitive market-based allocation of consumer attention spaceBOHTE, Sander; GERDING, Enrico; LA POUTRE, Han et al.Report - Software engineering. 2001, Num 31, pp 1-22, issn 1386-369XArticle

Disambiguation filters for scannerless generalized LR parsersVAN DEN BRAND, M. G. J; SCHEERDER, J; VINJU, J. J et al.Report - Software engineering. 2001, Num 25, pp 1-14, issn 1386-369XArticle

Comparing coordination models and architectures using embeddingsBONSANGUE, Marcello M; KOK, Joost N; ZAVATTARO, Gianluigi et al.Report - Software engineering. 2000, Num 25, pp 1-33, issn 1386-369XArticle

Tight bounds on the competitive ratio on accommodating sequences for the seat reservation problemBACH, Eric; BOYAR, Joan; EPSTEIN, Leah et al.Report - Software engineering. 2000, Num 26, pp 1-16, issn 1386-369XArticle

Unsupervised clustering with spiking neurons by sparse temporal coding and multi-layer RBF networksBOHTE, Sander M; LA POUTRE, Han A; KOK, Joost N et al.Report - Software engineering. 2000, Num 36, pp 1-14, issn 1386-369XArticle

An ω-complete equational specification of interleavingFOKKINK, W; LUTTIK, B.Report - Software engineering. 2000, Num 12, pp 1-16, issn 1386-369XArticle

Legacy to the extremeVAN DEURSEN, A; KUIPERS, T; MOONEN, L et al.Report - Software engineering. 2000, Num 18, pp 1-9, issn 1386-369XArticle

Pretty-printing within the ASF+SDF meta-environment : a generic approachVAN DEN BRAND, M; DE JONGE, M.Report - Software engineering. 1999, Num 4, pp 1-18, issn 1386-369XArticle

Coalgebraic Reasoning in Coq : Bisimulation and A-Coiteration SchemeNIQUI, Milad.Report - Software engineering. 2008, Num 6, pp 1-17, issn 1386-369X, 17 p.Article